and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
921	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
922	Process Detector TSMC 28HPM (MR74086) Process Detector with Digital Output and regulator circuit Part Number: Add to Reading List Source URL: www.avant-tek.com Language: English - Date: 2014-07-31 22:34:02 Integrated circuits Detectors Radio electronics Logic families Electronic design Dynamic voltage scaling CMOS
923	highresRT_Logic-Kratos_Logo Add to Reading List Source URL: www.rtlogic.com Language: English - Date: 2016-08-09 00:40:02 Computer security IT risk management Information assurance Logic Pro Department of Defense Information Assurance Certification and Accreditation Process Request Tracker Software testing Windows 8
924	EMERGENCE OF INTELLIGENT MACHINES: CHALLENGES AND OPPORTUNITIES Non-Human Intelligence Bart Selman Add to Reading List Source URL: intelligence.org Language: English - Date: 2016-06-03 18:01:36 Boolean algebra Logic in computer science Boolean satisfiability problem Electronic design automation SAT Human intelligence
925	M ODAL C OMPARISONS : T WO D ILLETANTES IN S EARCH OF AN E XPERT⇤ K AI VON F INTEL AND A NGELIKA K RATZER Massachusetts Institute of Technology and University of Massachusetts at Amherst Abstract We express our puzzlem Add to Reading List Source URL: semanticsarchive.net Language: English - Date: 2014-10-22 03:26:10 Comparative Grammar Non-classical logic Philosophical logic Modal logic Comparison Adjective Metalinguistics
926	Toward a Logic of Cumulative Quantification Makoto Kanazawa and Junri Shimada 1 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-08-19 13:21:07 Quantification Inference Pragmatics Semantics Predicate logic Quantifier Implicature Scalar implicature Universal quantification FO Cumulativity
927	DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Automated theorem proving Reasoning Semantic Web Artificial intelligence School of Computer Science University of Manchester Knowledge representation and reasoning Description logic Vampire Semantic reasoner Automated reasoning Web Ontology Language Resolution
928	Power Quality Improvement of PV Solar Farm as STATCOM Night and Day using Fuzzy Logic Control Maram Sudhakar Reddy PG Scholar, Dept of EEE, KSRM College of Engineering, Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2016-08-04 01:33:40 Photovoltaics Electric power Energy conversion Electrical engineering Static synchronous compensator Photovoltaic system Power electronics Maximum power point tracking Power factor Solar panel Solar power Power inverter
929	Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-07-04 16:21:32 Automated theorem proving Logic programming Integral calculus Free variables and bound variables Mathematical notation Predicate logic Substitution Term Integration by substitution Principia Mathematica
930	Improved Algorithms for Module Extraction and Atomic Decomposition Dmitry Tsarkov School of Computer Science The University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Information science Knowledge representation Technical communication Ontology Mathematical logic Mahlo cardinal Mereology Constructible universe

UPDATE